| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Advanced Automata Theory | Advanced Automata Theory | Fach-/Modulprüfung | 6 | 387071 | ||
| Advanced Automata Theory | Übung | 383136 | Fr 14:30-16:00 AH I (2350|028) (×11) | |||
| Advanced Automata Theory | Vorlesung | 381356 | Mo 10:30-12:00 AH I (2350|028) (×12) Mi 12:30-14:00 AH II (2350|111) (×12) | |||
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 386643 | ||
| Algorithmic Foundations of Datascience | Übung | 384200 | Fr 12:30-14:00 Online-Veranstaltung (×6) | |||
| Algorithmic Foundations of Datascience | Vorlesung | 384237 | Di 13:00-14:00 Online-Veranstaltung (×2) Do 13:00-14:00 Online-Veranstaltung (×8) | |||
| Algorithmic Game Theory | Algorithmic Game Theory | Fach-/Modulprüfung | 6 | 386682 | ||
| Algorithmische Spieltheorie (für Informatik & SSE) | Vorlesung | 381671 | Mo 14:30-16:00 MetP11 (2181|102) (×12) Di 14:30-16:00 MetP11 (2181|102) (×12) | |||
| Approximation and Online Algorithms | Approximationsalgorithmen | Fach-/Modulprüfung | 6 | 385630 | ||
| Combinatorial Graph Theory | Kombinatorische Graphentheorie | Fach-/Modulprüfung | 6 | 385226 | ||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 386698 | ||
| Theoretical Foundations of the UML (FUML) | Übung | 389622 | Mi 14:30-16:00 AH VI (2356|051) (×10) | |||
| Theoretical Foundations of the UML (FUML) | Vorlesung | 389623 | Mo 16:30-18:00 AH III (2350|314.1) (×12) Di 10:30-12:00 AH II (2350|111) (×11) | |||
| Functional Programming | Funktionale Programmierung | Fach-/Modulprüfung | 6 | 385828 | ||
| Logic Programming | Logikprogrammierung | Fach-/Modulprüfung | 6 | 388556 | ||
| Logikprogrammierung | Übung | 388495 | Mo 12:30-14:00 AH IV (2354|030) (×12) | |||
| Logikprogrammierung | Vorlesung | 388496 | Mo 12:30-14:00 AH IV (2354|030) (×1) Mo 16:30-18:00 AH IV (2354|030) (×13) Do 16:30-18:00 AH I (2350|028) (×12) | |||
| Modeling and analysis of hybrid systems | Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 386654 | ||
| Modellierung und Analyse hybrider Systeme | Vorlesung/Übung | 381348 | Mo 12:30-14:00 AH III (2350|314.1) (×12) Di 16:30-18:00 AH I (2350|028) (×14) | |||
| Online Algorithms | Online Algorithmen | Fach-/Modulprüfung | 6 | 412974 | ||
| Online Algorithmen Übung | Tutorium | 390490 | ||||
| Vorlesung Online Algorithmen | Vorlesung | 390491 | Di 14:30-16:00 AH V (2356|050) (×11) Fr 10:30-12:00 AH V (2356|050) (×11) | |||
| Quantum Computing | Quantum Computing | Fach-/Modulprüfung | 4 | 406828 | ||
| Quanten-Computing | Vorlesung | 390155 | Di 12:30-14:00 AH II (2350|111) (×13) | |||
| Semantics and Verification of Software | Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 386568 | ||
| Static Program Analysis | Statische Programmanalyse | Fach-/Modulprüfung | 6 | 391243 | ||
| Statische Programmanalyse | Übung | 389640 | Mo 14:30-16:00 AH VI (2356|051) (×10) | |||
| Statische Programmanalyse | Vorlesung | 389641 | Mo 12:30-14:00 AH VI (2356|051) (×11) Fr 12:30-14:00 AH I (2350|028) (×10) | |||
| The Graph Isomorphism Problem | Das Graphisomorphieproblem | Fach-/Modulprüfung | 6 | 413103 | ||
| The Graph Isomorphism Problem (Übung) | Übung | 390444 | Fr 14:30-16:00 AH III (2350|314.1) (×11) | |||
| The Graph Isomorphism Problem | Vorlesung | 390443 | Di 08:30-10:00 AH II (2350|111) (×12) Do 14:30-16:00 AH I (2350|028) (×10) | |||
| Theory of Constraint Satisfaction Problems | Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 386552 | ||
| Theory of Distributed and Parallel Systems | Theorie Verteilter und Paralleler Systeme | Fach-/Modulprüfung | 6 | 385118 |